$\forall$$t_{1}$, $t_{2}$:Type, $x$:$t_{1}$ $\cap$ $t_{2}$. $x$ $\in$ $t_{1}$ \& $x$ $\in$ $t_{2}$